- интуиционистски общезначимая формула
- intuitionistically valid formula
Русско-английский научно-технический словарь Масловского. 2015.
интуиционистски общезначимая формула
Look at other dictionaries:
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
